Discordance Detection in Regional Ordinance: Ontology-based Verification
نویسنده
چکیده
In this paper, we propose a procedure of discordance detection in an actual legal code, that is the regional ordinance of Toyama Prefecture, Japan. In this study, we expand the notion of inconsistency to the discordance including antonyms based on an ontology, and precluded the conventional negative connective. We have implemented the system that converts XML logical formats to Prolog, and has inspected the whole code.
منابع مشابه
Discordance Detection in Regional Ordinance: Ontology-based Validation
In this paper, we propose a procedure of discordance detection in an actual legal code, that is the regional ordinance of Toyama Prefecture, Japan. In this study, we expand the notion of inconsistency to the discordance including antonyms based on an ontology, and precluded the conventional negative connective. We have implemented the system that converts XML logical formats to Prolog, and has ...
متن کاملThe Effect of Different Stabilizers on Stability of Horseradish Peroxidase- Bovine Serum Albumin-Aflatoxin B1, a Conjugated Tracer for Detection of Aflatoxin B1 in Immunoassay-Based Methods
Aflatoxins are a group of fungal toxic metabolites, which are contaminated certain food commodities. ELISA is one of the sensitive methods for detection of aflatoxins. Preparation and stabilizing of a proper conjugated tracer for detection of aflatoxins is probably the main step for designing an ELISA method. In current study, different stabilizers were applied to stabilize a newly prepared con...
متن کاملFace Detection with methods based on color by using Artificial Neural Network
The face Detection methodsis used in order to provide security. The mentioned methods problems are that it cannot be categorized because of the great differences and varieties in the face of individuals. In this paper, face Detection methods has been presented for overcoming upon these problems based on skin color datum. The researcher gathered a face database of 30 individuals consisting of ov...
متن کاملThe Effect of Different Stabilizers on Stability of Horseradish Peroxidase- Bovine Serum Albumin-Aflatoxin B1, a Conjugated Tracer for Detection of Aflatoxin B1 in Immunoassay-Based Methods
Aflatoxins are a group of fungal toxic metabolites, which are contaminated certain food commodities. ELISA is one of the sensitive methods for detection of aflatoxins. Preparation and stabilizing of a proper conjugated tracer for detection of aflatoxins is probably the main step for designing an ELISA method. In current study, different stabilizers were applied to stabilize a newly prepared con...
متن کاملA New Test-Generation Methodology for System-Level Verification of Production Processes
The continuing growth in the complexity of production processes is driven mainly by the integration of smart and cheap devices, such as sensors and custom hardware or software components. This naturally leads to higher complexity in fault detection and management, and, therefore to a higher demand for sophisticated quality control tools. A production process is commonly modeled prior to its phy...
متن کامل